181. Software Engineering -- ESEC '95 :
پدیدآورنده : edited by Wilhelm Schäfer, Pere Botella.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Software engineering.
182. Software Engineering and Environment :
پدیدآورنده : by Phillip C.-Y. Sheu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Object-oriented programming (Computer science),Software engineering.
183. Software Engineering with Computational Intelligence
پدیدآورنده : edited by Taghi M. Khoshgoftaar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
184. Software Service and Application Engineering
پدیدآورنده : edited by Maritta Heisel
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computation by Abstract Devices,Computer Communication Networks,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Software Engineering
185. Software engineering and formal methods :
پدیدآورنده : Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
I58
2011
186. Software engineering education :
پدیدآورنده : Jorge L. Diaz-Herrera (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering -- Study and teaching (Higher),Software engineering -- Study and teaching (Higher) -- Congresses.
187. Specification of Software Systems
پدیدآورنده : by V.S. Alagar, K. Periyasamy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
F67
B987
1998
188. Starting Out with Programming Logic and Design
پدیدآورنده : / Tony Gaddis
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
189. Static Analysis :
پدیدآورنده : edited by Baudouin Charlier.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
190. Static Analysis :
پدیدآورنده : by Patrick Cousot, Moreno Falaschi, Gilberto File.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
191. System Analysis and Modeling: About Models
پدیدآورنده : edited by Frank Alexander Kraemer, Peter Herrmann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks.,Computer science.,Information storage and retrieval systems.,Logic design.,Software engineering.
192. TAPSOFT '95:
پدیدآورنده : edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
193. Tests and Proofs
پدیدآورنده : edited by Achim D. Brucker, Jacques Julliand
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
194. The Fallacy of Inscrutability
پدیدآورنده : Kroll, Joshua A
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
195. The handbook of software for engineers and scientists /
پدیدآورنده : editor-in-chief, Paul W. Ross.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software.,Engineering-- Data processing.,Science-- Data processing.,Computer software.,COMPUTERS / Programming Languages / JavaScript,Engineering-- Data processing.,Science-- Data processing.
رده :
QA76
.
754
.
H35
2018eb
196. The site reliability workbook :
پدیدآورنده : edited by Betsy Beyer [and 4 others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Information technology-- Management.,Reliability (Engineering),BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Computer engineering.,Information technology-- Management.,Reliability (Engineering)
رده :
T58
.
64
197. Theorem Proving in Higher Order Logics :
پدیدآورنده : edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
198. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
199. Theory and Practice of Model Transformations :
پدیدآورنده : edited by Keith Duddy, Gerti Kappel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
E358
2013
200. Theory and Practice of Model Transformations
پدیدآورنده : edited by Zhenjiang Hu, Juan Lara
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
